import org.checkerframework.checker.tainting.qual.*;

public enum SampleEnum {
  FIRST,
  SECOND;
}
